We use javascript to filter series topics, adapt series to your local time zone, enter date ranges, and hide this annoying message. We use cookies to set your default timezone, keep track of your preferences, and to keep you logged in.

Machine-Checked Cryptography with EasyCrypt and Jasmin (Part II)

Vincent Laporte & Benjamin Grégoire

27-Sep-2021, 20:30-23:30 (4 years ago)

cryptography and security

Audience: learners

Selected Areas in Cryptography 2021 Summer school

Organizers:	Riham AlTawy*, Andreas Hülsing
	*contact for this listing

Export talk to